Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
961	CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration Rune M. Jensen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-20 10:39:50 Boolean algebra Diagrams Model checking Clab M2 BackTrack Nuclear physics Systems engineering process Nuclear technology Radioactive waste Binary decision diagram
962	Enhanced Debugging Methods for Parallel and Metacomputing Applications Based on Macrosteps Add to Reading List Source URL: www.omikk.bme.hu Language: English - Date: 2012-02-02 08:36:10 Debugging Java Platform Debugger Architecture Petri net Model checking Breakpoint Debuggers Computing Software engineering
963	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Language: English - Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics
964	Model Checking II Temporal Logic Model Checking Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-27 18:25:33 Mathematics Logic in computer science Modal logic Linear temporal logic Philosophical logic CTL* Computation tree logic Kripke semantics Kripke structure Logic Temporal logic Mathematical logic
965	An Approach to the Generation of High-Assurance Java Card Applets Alessandro Coglio Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2003-10-14 16:51:03 Java platform Java programming language Smart cards Java Card Computing platforms Applet Java applet Java Model checking Computing Software Cross-platform software
966	[removed]CURRICULUM VITAE Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-26 13:48:43 Computer science Edmund M. Clarke Carnegie Mellon School of Computer Science Randal Bryant Turing Award Formal verification Allen Newell Model checking Carnegie Mellon Silicon Valley Turing Award laureates Carnegie Mellon University Science
967	Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** Jet Propulsion Laboratory, California Institute of Technology Add to Reading List Source URL: nob.cs.ucdavis.edu Language: English* - Date: 2013-03-12 20:41:50 Computing Logic in computer science Software testing Software quality Formal verification Theoretical computer science Model checking Verification and validation Component-based software engineering Formal methods Software engineering Software development
968	Liveness Properties Lecture #7 of Model Checking Joost-Pieter Katoen Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:42:10 Structure Logic Mathematics Metaphilosophy Temporal logic Model theory Metalogic Model checking
969	Microsoft PowerPoint - ESWEEK08-final-pdf.ppt Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computer science Concurrency Model checking Logic in computer science Correctness Temporal logic Software development process Formal verification Formal methods Theoretical computer science Applied mathematics
970	CURRICULUM VITAE Name: Madhavan Mukund Date of birth: 1 May, 1965 Add to Reading List Source URL: www.ru.is Language: English - Date: 2005-09-16 07:05:09 Model checking Formal languages Automata theory International Colloquium on Automata Languages and Programming Theoretical computer science

UPDATE